Stump, Aaron : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (40)
Les plus populaires
Liste
- Liste
- Tableau

From realizability to induction via dependent intersection

Stump, Aaron

Journal:

Annals of Pure and Applied Logic

Année:

2018

Langue:

english

Fichier:

PDF, 344 KB

english, 2018

Directly reflective meta-programming

Aaron Stump

Journal:

Higher-Order and Symbolic Computation

Année:

2009

Langue:

english

Fichier:

PDF, 577 KB

english, 2009

10.1038/18410

Brinker, C. Jeffrey, Lu, Yunfeng, Fan, Hongyou, Stump, Aaron, Ward, Timothy L., Rieker, Thomas

Journal:

Nature

Année:

1999

Langue:

english

Fichier:

PDF, 488 KB

english, 1999

[IEEE 2009 39th IEEE Frontiers in Education Conference (FIE) - San Antonio, TX, USA (2009.10.18-2009.10.21)] 2009 39th IEEE Frontiers in Education Conference - Connecting to the future: How the perception of future impacts engineering undergraduate students' learning and performance

Chung, Wen-Ting, Lee, Jieun, Husman, Jenefer, Stump, Glenda, Maez, Cecelia, Done, Aaron

Année:

2009

Langue:

english

Fichier:

PDF, 351 KB

english, 2009

Efficiency of lambda-encodings in total type theory

STUMP, AARON, FU, PENG

Journal:

Journal of Functional Programming

Année:

2016

Langue:

english

Fichier:

PDF, 1.97 MB

english, 2016

The calculus of dependent lambda eliminations

STUMP, AARON

Journal:

Journal of Functional Programming

Année:

2017

Langue:

english

Fichier:

PDF, 2.79 MB

english, 2017

[ACM Press the 30th Symposium - Lowell, MA, USA (2018.09.05-2018.09.07)] Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 - Spine-local Type Inference

Jenkins, Christopher, Stump, Aaron

Année:

2018

Langue:

english

Fichier:

PDF, 752 KB

english, 2018

Preface

Aaron Stump, Hongwei Xi

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 91 KB

english, 2007

Signature Compilation for the Edinburgh Logical Framework

Michael Zeller, Aaron Stump, Morgan Deters

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 173 KB

english, 2008

Imperative LF Meta-Programming

Aaron Stump

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 235 KB

english, 2008

Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF

Aaron Stump, Clark W. Barrett, David L. Dill

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 151 KB

english, 2002

Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)

Clark Barrett, Leonardo de Moura, Aaron Stump

Journal:

Formal Methods in System Design

Année:

2007

Langue:

english

Fichier:

PDF, 660 KB

english, 2007

Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)

Clark Barrett, Leonardo de Moura, Aaron Stump

Journal:

Journal of Automated Reasoning

Année:

2005

Langue:

english

Fichier:

PDF, 326 KB

english, 2005

Validated Proof-Producing Decision Procedures

Robert Klapper, Aaron Stump

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 260 KB

english, 2005

From Rogue to MicroRogue

Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 302 KB

english, 2005

Logical Semantics for the Rewriting Calculus

Aaron Stump, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 252 KB

english, 2005

Mining Propositional Simplification Proofs for Small Validating Clauses

Ian Wehrman, Aaron Stump

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 231 KB

english, 2006

Proof Checking Technology for Satisfiability Modulo Theories

Aaron Stump

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 260 KB

english, 2009

Knuth–Bendix completion of theories of commuting group endomorphisms

Aaron Stump, Bernd Löchner

Journal:

Information Processing Letters

Année:

2006

Langue:

english

Fichier:

PDF, 80 KB

english, 2006

Rapid prototyping of patterned functional nanostructures

Fan, Hongyou, Lu, Yunfeng, Stump, Aaron, Reed, Scott T., Baer, Tom, Schunk, Randy, Perez-Luna, Victor, López, Gabriel P., Brinker, C. Jeffrey

Journal:

Nature

Année:

2000

Langue:

english

Fichier:

PDF, 628 KB

english, 2000

A Trustworthy Proof Checker

Andrew W. Appel, Neophytos Michael, Aaron Stump, Roberto Virga

Journal:

Journal of Automated Reasoning

Année:

2003

Langue:

english

Fichier:

PDF, 221 KB

english, 2003

Temperature Dependence of the Eu3+ Ion Luminescence Lifetime Exhibited by Anhydrous EuCl3

Stump, Nathan Aaron, Chen, Gang, Haire, Richard Geoffrey, Peterson, Joseph Richard

Journal:

Applied Spectroscopy

Année:

1994

Langue:

english

Fichier:

PDF, 270 KB

english, 1994

SMT proof checking using a logical framework

Stump, Aaron, Oe, Duckki, Reynolds, Andrew, Hadarean, Liana, Tinelli, Cesare

Journal:

Formal Methods in System Design

Année:

2013

Langue:

english

Fichier:

PDF, 920 KB

english, 2013

6 Years of SMT-COMP

Clark Barrett, Morgan Deters, Leonardo de Moura, Albert Oliveras, Aaron Stump

Journal:

Journal of Automated Reasoning

Année:

2013

Langue:

english

Fichier:

PDF, 536 KB

english, 2013

[ACM Press the Fourth International Workshop - Montreal, Quebec, Canada (2009.08.02-2009.08.02)] Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 - The calculus of nominal inductive constructions

Westbrook, Edwin, Stump, Aaron, Austin, Evan

Année:

2009

Langue:

english

Fichier:

PDF, 231 KB

english, 2009

[IEEE 2009 39th IEEE Frontiers in Education Conference (FIE) - San Antonio, TX, USA (2009.10.18-2009.10.21)] 2009 39th IEEE Frontiers in Education Conference - Student beliefs about intelligence: Relationship to learning

Stump, Glenda, Husman, Jenefer, Chung, Wen-Ting, Done, Aaron

Année:

2009

Langue:

english

Fichier:

PDF, 377 KB

english, 2009

DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)

BARRETT, CLARK, DETERS, MORGAN, OLIVERAS, ALBERT, STUMP, AARON

Journal:

International Journal of Artificial Intelligence Tools

Année:

2008

Langue:

english

Fichier:

PDF, 614 KB

english, 2008

Reflectance Spectroscopy as a Monitor of the Thermal-Decomposition Products of Europium Trichloride Hexahydrate

Lawson, Patrick Andrew, Stump, Nathan Aaron

Journal:

Spectroscopy Letters

Année:

2011

Langue:

english

Fichier:

PDF, 366 KB

english, 2011

Accuracy of Nimodipine Gel Extraction

Oyler, Douglas R., Stump, Sarah E., Cook, Aaron M.

Journal:

Neurocritical Care

Année:

2015

Langue:

english

Fichier:

PDF, 169 KB

english, 2015

The 2013 Evaluation of SMT-COMP and SMT-LIB

Cok, David R., Stump, Aaron, Weber, Tjark

Journal:

Journal of Automated Reasoning

Année:

2015

Langue:

english

Fichier:

PDF, 5.95 MB

english, 2015

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - Towards typing for small-step direct reflection

Carette, Jacques, Stump, Aaron

Année:

2012

Langue:

english

Fichier:

PDF, 731 KB

english, 2012

[ACM Press the FSE/SDP workshop - Santa Fe, New Mexico, USA (2010.11.07-2010.11.08)] Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10 - Language-based verification will change the world

Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Année:

2010

Langue:

english

Fichier:

PDF, 401 KB

english, 2010

[ACM Press the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop - Princeton, New Jersey (2008.07.07-2008.07.14)] Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning - SMT '08/BPR '08 - Towards an SMT proof format

Stump, Aaron, Oe, Duckki

Année:

2008

Langue:

english

Fichier:

PDF, 174 KB

english, 2008

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Roadmap for enhanced languages and methods to aid verification

Leavens, Gary T., Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R., Stump, Aaron, Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, C

Année:

2006

Langue:

english

Fichier:

PDF, 356 KB

english, 2006

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.21-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification - PLPV '14 - The recursive polarized dual calculus

Stump, Aaron

Année:

2014

Langue:

english

Fichier:

PDF, 585 KB

english, 2014

A lazy approach to adaptive exact real arithmetic using floating-point operations

McCleeary, Ryan, Brain, Martin, Stump, Aaron

Journal:

ACM Communications in Computer Algebra

Année:

2015

Langue:

english

Fichier:

PDF, 598 KB

english, 2015

A language-based approach to functionally correct imperative programming

Westbrook, Edwin, Stump, Aaron, Wehrman, Ian

Journal:

ACM SIGPLAN Notices

Année:

2005

Langue:

english

Fichier:

PDF, 167 KB

english, 2005

Generic zero-cost reuse for dependent types

Diehl, Larry, Firsov, Denis, Stump, Aaron

Journal:

Proceedings of the ACM on Programming Languages

Année:

2018

Fichier:

PDF, 425 KB

2018

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Generic derivation of induction for impredicative encodings in Cedille

Firsov, Denis, Stump, Aaron

Année:

2018

Langue:

english

Fichier:

PDF, 569 KB

english, 2018

Traveling With Integrity: Translating Face‐to‐Face Teacher Professional Learning to Online and Blended Spaces

Katz, Mira‐Lisa, Stump, Mary, Charney‐Sirott, Irisa, Howlett, Heather, Greenleaf, Cynthia, Wilson, Aaron

Journal:

Journal of Adolescent & Adult Literacy

Année:

2019

Langue:

english

Fichier:

PDF, 797 KB

english, 2019